Addresses all necessary organization and architecture topics, but concise enough to be appropriate for a single-term course. ...
اقرأ المزيدThis book starts by reintroducing the database as a integral part of the software development ecosystem. You'll learn how ...
اقرأ المزيدExtreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
اقرأ المزيدIn its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
اقرأ المزيدThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيدThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
اقرأ المزيدBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
اقرأ المزيدETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيدETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيدJava design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
اقرأ المزيدThis book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008.UNISCON ...
اقرأ المزيدProvides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...
اقرأ المزيدCombines clear explanations of data structure and algorithm theory with practical code samples, examples and exercises, all ...
اقرأ المزيدThis volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
اقرأ المزيدThis open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
اقرأ المزيدThis book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
اقرأ المزيد